Search results for "system development"

Analysis of the use of a workflow engine for OTRUM system software

2007

Masteroppgave i informasjons- og kommunikasjonsteknologi 2007 – Høgskolen i Agder, Grimstad Workflow engines are attracting more and more attention. Applications based on workflow engine technology are currently developed and deployed by many companies, such as OTRUM Company. In this project, we focus on the analysis and development of an efficient workflow engine for interactive TV. The research project will realize workflow engine solutions based on three choices including commercial workflow engine, open source workflow engine, and a workflow engine implemented from scratch. In this project, we go through all mentioned solutions. In the literature, many proposed workflow engines are invo…

Following the WCAG 2.0 techniques: Experiences from designing a WCAG 2.0 checking tool

2012

Published version of a chapter in the book: Computers Helping People with Special Needs. Also available from the publisher at: http://dx.doi.org/10.1007/978-3-642-31522-0_63 This paper presents a conceptual analysis of how the Web Content Accessibility Guidelines (WCAG) 2.0 and its accompanying documents can be used as a basis for the implementation of an automatic checking tool and the definition of a web accessibility metric. There are two major issues that need to be resolved to derive valid and reliable conclusions from the output of individual tests. First, the relationship of Sufficient Techniques and Common Failures has to be taken into account. Second, the logical combination of the…

Method Engineering: Current research directions and implications for future research

1996

In this study we investigate method engineering research by classifying studies into three contexts: technology, language and organization. Within each context we examine research bias, research outcomes and use of alternative research methods. This survey reveals the inherent bias of ME research towards tool and language development at the cost of empirical studies. We lack investigations of why organizations develop their own “variants” of system development methods, and how they manage their method engineering efforts. These observations lead us to suggest some directions for future research, which relate both to actual research questions and to the use of complementary research methods.

Process and technology challenges in swift-starting virtual teams

2007

Originally published in the journal Information & Management : http://www.sciencedirect.com/science/journal/03787206 Virtual teams often face tight schedules and a need to start quickly and perform instantly. The goal of our study was to enhance understanding of the challenges faced by such teams. We used time–interaction–performance theory as the framework for following the processes and functions within virtual teams working on a systems development task. Our study provided a detailed examination of the group process, applied to virtual teams working under time pressure. The challenges faced by virtual teams in such settings showed that teams must work to enhance their effectiveness in mu…

Research of Tool-Coupling Based Electro-hydraulic System Development Method

2015

This paper introduces a new kind of tool-coupling based electro-hydraulic system development method including designing character-oriented electro-hydraulic system development and design procedure, co-simulation based system coupling strategy, client-server model management method. An integrated development platform is designed for co-simulation among AMESim, Matlab\Simulink, Flowmaster, Saber and Simplorer. The platform can manage each simulator’s models and co-simulation procedure. The result illustrates tool coupling based electro-hydraulic system development method can improve the efficiency of multi-team collaborative design for electro-hydraulic system and also can analyze and evaluat…

Stochastic Learning-Based Estimation Methods for Pattern Recognition and Its Application to Topic Detection and Tracking

2008

Masteroppgave i informasjons- og kommunikasjonsteknologi 2008 – Universitetet i Agder, Grimstad Every Pattern Recognition (PR) problem involves a training and a testing phase. In the training phase, the system is presented with samples, using which the distribution (also called the classconditional distribution), of the features, is estimated. Traditional PR systems assume that the class-conditional distributions are stationary, and thus that they do not change with time. Recently Oommen and his co-authors have presented a strategy by which the parameters of a binomial/- multinomial distribution can be estimated when the distribution is non-stationary. In this thesis, we propose a selection…

Social welfare professionals willing to participate in client information system development - Results from a large cross-sectional survey.

2021

Human-centered design methods should be implemented throughout the client information system (CIS) development process to understand social welfare professionals’ needs, tasks, and contexts of use. The aim of this study was to examine Finnish social welfare professionals’ experiences of participating in CIS development. A national cross-sectional web-based survey on the CIS experiences of social welfare professionals (1145 respondents) was conducted in Finland in spring 2019. This study focused on statements concerning the experiences of end users with CIS development and participation. The results are reported by professional and age groups. Half (50%) of the 1145 respondents had participa…

Modelling and Testing of Real Systems

2016

Modelling and Programming are often used together in system development. However, typically there is a large conceptual gap between modelling and programming. This leads to problems in unified handling and the transition between the two. This way, extra work is required when combining modelling and programming. This paper develops a common understanding that can unify modelling and programming in system development.

The first cyber summit - Clinton-Yeltsin Helsinki Summit 1997 : providing content for short time news events using Internet technologies

1997

Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle

2018

This paper presents a proof-of-concept application of an approach to system development based on the integration of formal verification and co-simulation. A simple autonomous vehicle has the task of reaching an assigned straight path and then follow it, and it can be controlled by varying its turning speed. The correctness of the proposed control law has been formalized and verified by interactive theorem proving with the Prototype Verification System. Concurrently, the system has been co-simulated using the Prototype Verification System and the MathWorks Simulink tool: The vehicle kinematics have been simulated in Simulink, whereas the controller has been modeled in the logic language of t…